single-valued function definition